L. Denielou: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Behavioral Types in Programming Languages

Ancona, Davide, Bono, Viviana, Bravetti, Mario, Campos, Joana, Castagna, Giuseppe, Deniélou, Pierre-Malo, Gay, Simon J., Gesbert, Nils, Giachino, Elena, Hu, Raymond, Johnsen, Einar Broch, Martins, Fra

Journal:

Foundations and Trends® in Programming Languages

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

2

Experimental determination of the thermal conductivity of molten pure salts and salt mixtures

R. Tufeu, J. P. Petitet, L. Denielou, B. Neindre

Journal:

International Journal of Thermophysics

Year:

1985

Language:

english

File:

PDF, 623 KB

english, 1985

3

Developing a Company Outlook in Universities

Journal:

European Journal of Education

Year:

1985

Language:

english

File:

PDF, 466 KB

english, 1985

4

Combining behavioural types with security analysis

Bartoletti, Massimo, Castellani, Ilaria, Deniélou, Pierre-Malo, Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Pérez, Jorge A., Thiemann, Peter, Toninho, Bernardo, Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

5

High-temperature calorimetric measurements: silver sulphate and alkali chromates, molybdates, and tungstates

Lucien Denielou, Jean-Pierre Petitet, Cristophe Tequi

Journal:

The Journal of Chemical Thermodynamics

Year:

1975

Language:

english

File:

PDF, 124 KB

english, 1975

6

Thermodynamic study of alkali sulphates: Calculation of enthalpy, entropy and Gibbs free energy

Lucien Denielou, Jean-Pierre Petitet, Christophe Tequi

Journal:

Thermochimica Acta

Year:

1974

Language:

english

File:

PDF, 366 KB

english, 1974

7

The role of the university

Journal:

Technology in Society

Year:

1983

Language:

english

File:

PDF, 233 KB

english, 1983

8

Thermodynamic properties of molten nitrates under pressure obtained from velocity of sound

J.P. Petitet, L. Denielou, R. Tufeu

Journal:

Year:

1987

Language:

english

File:

PDF, 617 KB

english, 1987

9

Bacterial syntenies: an exact approach with gene quorum

Yves-Pol Deniélou, Marie-France Sagot, Frédéric Boyer, Alain Viari

Journal:

BMC Bioinformatics

Year:

2011

Language:

english

File:

PDF, 472 KB

english, 2011

10

Velocity of sound in supercritical water up to 700°C and 300 MPa

J. P. Petitet, L. Denielou, R. Tufeu, B. Neindre

Journal:

International Journal of Thermophysics

Year:

1986

Language:

english

File:

PDF, 345 KB

english, 1986

11

Thermodynamic properties of quartz, cristobalite and amorphous SiO2: drop calorimetry measurements between 1000 and 1800 K and a review from 0 to 2000 K

P. Richet, Y. Bottinga, L. Denielou, J.P. Petitet, C. Tequi

Journal:

Geochimica et Cosmochimica Acta

Year:

1982

Language:

english

File:

PDF, 1.63 MB

english, 1982

12

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

Bhargavan, Karthikeyan, Corin, Ricardo, Deniélou, Pierre-Malo, Fournet, Cédric, Leifer, James J.

Year:

2009

Language:

english

File:

PDF, 513 KB

english, 2009

13

Enthalpy measurements on lithium aluminum chloride (LiAlCl4) and tin aluminum chloride (SnAl2Cl8)

Denielou, Lucien, Petitet, Jean Pierre, Tequi, Christophe

Journal:

Journal of Chemical & Engineering Data

Year:

1984

Language:

english

File:

PDF, 224 KB

english, 1984

14

Détermination de la vitesse du son dans les sels fondus. Technique et applications

Denielou, Lucien, Petitet, Jean-Pierre, Tequi, Christophe

Journal:

Canadian Journal of Chemistry

Year:

1974

File:

PDF, 383 KB

1974

15

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - Secure Implementations for Typed Session Abstractions

Corin, Ricardo, Denielou, Pierre-Malo, Fournet, Cedric, Bhargavan, Karthikeyan, Leifer, James

Year:

2007

Language:

english

File:

PDF, 645 KB

english, 2007

16

Dynamic multirole session types

Deniélou, Pierre-Malo, Yoshida, Nobuko

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 570 KB

english, 2011

17

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Dynamic multirole session types

Deniélou, Pierre-Malo, Yoshida, Nobuko

Year:

2011

Language:

english

File:

PDF, 570 KB

english, 2011

18

DÉCOUVERTE ET INNOVATION SCIENTIFIQUES AU SERVICE DU TIERS MONDE || DÉBATS

N'Sougan Agblemagnon, Abdul-Razzak Kaddoura, Pierre Auger, Louis Gros, Jean Coulomb, Amir Jahanbegloo, Luiz Pereira da Silva, Perone de La Selva, Maria-José Garcia Werebe, Alfred Kastler, Guy Denielou

Journal:

Revue Tiers Monde

Year:

1979

Language:

french

File:

PDF, 950 KB

french, 1979

19

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, R

Journal:

ACM Computing Surveys

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

20

Correction- Enthalpy of NaAlCl 4 , KA1C1 4 , and Their Mixtures

Denielou, Lucien, Petitet, Jean-Pierre, Tequi, Christophe

Journal:

Journal of Chemical & Engineering Data

Year:

1984

File:

PDF, 35 KB

1984

21

Abstraction preservation and subtyping in distributed languages

Deniélou, Pierre-Malo, Leifer, James J.

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 269 KB

english, 2006

22

[ACM Press the eleventh ACM SIGPLAN international conference - Portland, Oregon, USA (2006.09.16-2006.09.21)] Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 - Abstraction preservation and subtyping in distributed languages

Deniélou, Pierre-Malo, Leifer, James J.

Year:

2006

Language:

english

File:

PDF, 269 KB

english, 2006